1. Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
پدیدآورنده: edited by Manfred Kerber and Michael Kohlhase
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Algebra,Congresses ، Automatic theorem proving
رده :
QA
155
.
7
.
E4C23
2000

